Rename the source domain on migration, regardless of the live flag. This fixes
authoremellor@ewan <emellor@ewan>
Fri, 7 Oct 2005 09:58:41 +0000 (10:58 +0100)
committeremellor@ewan <emellor@ewan>
Fri, 7 Oct 2005 09:58:41 +0000 (10:58 +0100)
commit1c7d85f77fa4994e9fa67679066e00985ae448b5
treedae6f6a92780da73cd43a40589e82b99ccc48f83
parent57e576dc3cc61826682f745203cbb817f7242d94
Rename the source domain on migration, regardless of the live flag.  This fixes
localhost non-live migration, and bug #297.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
tools/python/xen/xend/XendCheckpoint.py